81. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
82. Formal methods in standards :
پدیدآورنده : from the BCS working group ; ed. by C.L.N. Ruggles.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
9
.
S8
F766
1990
83. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
84. Frontiers in Computer Graphics :
پدیدآورنده : edited by Tosiyasu L. Kunii.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
T385
.
E358
1985
85. Fundamentals of Python :
پدیدآورنده : Kenneth A. Lambert, Martin Osborne, contributing author.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Python (Computer program language)
86. Fundamentals of Python :
پدیدآورنده : Kenneth A. Lambert, Martin Osborne, contributing author.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Python (Computer program language),Benutzeroberfläche,Python,Python (Computer program language),Softwareentwicklung
رده :
QA76
.
73
.
P98
L36
2019
87. GDI+ Custom Controls with Visual C# 2005
پدیدآورنده : Iulian Serban ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C♯ (Computer program language),Computer graphics,Computer software-- Development,Internet programming,Microsoft .NET,User interfaces (Computer systems)
رده :
T385
.
G35
2006
88. GPU computing gems /
پدیدآورنده : [edited by] Wen-mei W. Hwu
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics,Graphics processing units-- Programming,Image processing-- Digital techniques,Imaging systems
رده :
T385
.
G6875
2012
89. Game engine architecture /
پدیدآورنده : Jason Gregory.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer games-- Design.,Computer games-- Programming-- Computer programs.,Software architecture.,Computer games-- Design.,GAMES / Board.,Software architecture.
رده :
QA76
.
76
.
C672
90. General-purpose graphics processor architectures /
پدیدآورنده : Tor M. Aamodt, Wilson Wai Lun Fung, Timothy G. Rogers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Graphics processing units.,Computer architecture.,COMPUTERS-- General.,Graphics processing units.
رده :
T385
.
A243
2018
91. Geographic information systems :
پدیدآورنده : edited by D.R. Fraser Taylor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Geographic information systems.
رده :
G70
.
2
.
G46
1991
92. Google Apps Script
پدیدآورنده : James Ferreira
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development,Electronic spreadsheets,Macro instructions (Electronic computers),Presentation graphics software,Scripting languages (Computer science),Word processing
رده :
TK5105
.
885
.
G66
F477
2014
93. Graphics for chemical structures :
پدیدآورنده : Wendy A. Warr, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemical structure-- Data processing, Congresses.,Computer graphics, Congresses.
رده :
QD471
.
G753
1987
94. HTML5 in action /
پدیدآورنده : Rob Crowther, Joe Lennon, Ash Blue, Greg Wanish
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development,Computer games-- Development,Computer graphics-- Programming,HTML (Document markup language),Web site development
رده :
QA76
.
76
.
H94
C76
2014
95. Health information science :
پدیدآورنده : Siuly Siuly, Ickjai Lee, Zhisheng Huang, Rui Zhou, Hua Wang, Wei Xiang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Medical informatics, Congresses.,Medical records-- Access control, Congresses.,Medical records-- Data processing, Congresses.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet).,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Desktop publishing.,Health & safety aspects of IT.,Image processing.,Information retrieval.,Medical-- General.,Medical informatics.,Medical records-- Access control.,Medical records-- Data processing.,Natural language & machine translation.
رده :
R858
.
A2
H57
2018eb
96. Human-Computer Interaction :
پدیدآورنده : edited by Gerrit C. Veer, Gijsbertus Mulder.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Text processing (Computer science)
رده :
QA76
.
9
.
H85
E358
1988
97. Image Analysis and Processing :
پدیدآورنده : edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
رده :
TA1632
.
E358
1995
98. Interactive Systems:
پدیدآورنده : edited by Fabio Paternó.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
T385
.
E358
1995
99. Introducing Dart Sass :
پدیدآورنده : Alex Libby.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cascading style sheets.,Dart (Computer program language),Web site development.,Cascading style sheets.,COMPUTERS-- General.,Dart (Computer program language),Web site development.
رده :
TK5105
.
888
100. Introduction to Bada
پدیدآورنده : / Ben Morris and Manfred Bortenschlager ... [et al.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Bada (Electronic resource),Samsaeong Chaeonja,Application program interfaces (Computer software),Smartphones, Programming,Mobile computing
رده :
QA76
.
76
.
A63M67
2010
